- Added the sticky cursor option in the package.json file
- Tried using the updateHighlights notification to update the cursor to no avail
- TODO: Will need to create a custom notification type

In the language server:
- Added a MoveCursor notification type
- Added a function to get the last executed range in the DocumentManager
- Added all functions and processes to launch the notification on a stepForward or stepBackward

In the vscode extension:
- Added the mechanism to update the cursor on receiving a moveCursor notification.

- Renamed the last_executed_range function to observe_id_range
- Created a new pre_execution priority
- Review priorities so that 1) we mve the cursor, 2) we execute, 3) we display the proof context